Impure systems contain Objects and Subjects: Subjects are human beings. We can distinguish a person as an observer (subjectively outside the system) and that by definition is the Subject himself, and part of the system. In this case he acquires the category of object. Objects (relative beings) are significances, which are the consequence of perceptual beliefs on the part of the Subject about material or energetic objects (absolute beings) with certain characteristics.The IS (Impure System) approach is as follows: Objects are (...) perceptual significances (relative beings) of material or energetic objects (absolute beings). The set of these objects will form an impure set of the first order. The existing relations between these relative objects will be of two classes: transactions of matter and/or energy and inferential relations. Transactions can have alethic modality: necessity, possibility, impossibility and contingency. Ontic existence of possibility entails that inferential relations have Deontic modality: obligation, permission, prohibition, faculty and analogy. We distinguished between theorems (natural laws) and norms (ethical, legislative and customary rules of conduct). (shrink)

Reality contains information that becomes significances in the mind of the observer. Language is the human instrument to understand reality. But is it possible to attain this reality? Is there an absolute reality, as certain philosophical schools tell us? The reality that we perceive, is it just a fragmented reality of which we are part? The work that the authors present is an attempt to address this question from an epistemological, linguistic and logical-mathematical point of view.

In beliefs we live, we move and we are [...] the beliefs constitute the base of our life, the land on which we live [...] All our conduct, including the intellectual life, depends on the system of our authentic beliefs. In them [...] lies latent, as implications of whatever specifically we do or we think [...] the man, at heart, is believing or, which is equal, the deepest stratum of our life, the spirit that maintains and carries all the others, (...) is formed by beliefs...We know that the human being is a social animal. This is a common fact. Moreover, the human being is defined as a rational being. It is clear and nobody can deny that human creations include logic, mathematics, philosophy, science, and jurisprudence. These are all products of rationality or abstract thought. Nevertheless, human sociability goes further that the sociability of an animal herd. Societies were founded, cohere, develop, degenerate and die based on their belief systems. Reason cannot prove the .. (shrink)

In Ontology, quality determines beings. The quality-quantity bipolarity reveals that a conceptual logical comprehension that can include negation must be a dialectical logic. Quality is a precise characteristic of something capable of augmentation or diminution while remaining identical through differences or quantitative changes. Thus, quality and in opposition quantity are inextricably linked, giving definition to each other, so constituting a logical bipolarity. The theory is that a magnitude G is never separated from secondary qualities α and β, and therefore, a (...) measure depends on a concrete quality Gα or Gβ, that is to say on one pole of a logical bi-pole. However, the particular number, the unit, that expresses the result of a measure is the quality G alone. Examples drawn from physical and chemical experiments illustrate these ideas and elaborate the structure of the concept of opposition between the secondary qualities α and β of a magnitude G. (shrink)

In this paper, the authors attempt to prove there is a relationship between Borges’ “Argumentum ornithologicum” and Anselm’s argument “Argumentum ontologicum”. We suggest Borges, using the image of a flock of birds, with oriental reminiscences, half joking, half serious attempts to prove the existence of God. We demonstrate the fallacies incurred by Borges and why his “Argumentum” has no place within the traditional set of ontological arguments. However, it would easy to forget that Borges’ claim is not philosophical, nor theological, (...) nor apologetic, but rather ironic or paradoxical. (shrink)

This reply to Gash’s (Found Sci 2013) commentary on Nescolarde-Selva and Usó-Doménech (Found Sci 2013) answers the three questions raised and at the same time opens up new questions.

In this paper the authors develop a logic of concepts within a mathematical linguistic theory. In the set of concepts defined in a belief system, the order relationship and Boolean algebra of the concepts are considered. This study is designed to obtain a tool, which is the metatheoretical base of this type of theory.

By justification we understand what makes a belief epistemologically viable: generally this is considered knowledge that is true. The problem is defining this with a higher degree of precision because this is where different conflicting conceptions appear. On the one hand, we can understand justification as what makes it reasonable to acquire or maintain a belief; on the other, it is what increases the probability that the belief is true. This work tries to prove that beliefs depend on other beliefs (...) that are epistemically justified and that such beliefs are the result of (i.e., they arise from) our privileged intuition of reality. For this, we examine the concept of epistemic regress. Epistemic reasons authorize a proposition P to be the conclusion of an argument in which such reasons function as premises and are vulnerable to epistemic regress. The three most important approaches to epistemic regress are Infinitism, Coherentism and Foundationalism. (shrink)

The concept of God is studied using the ontological argument of Anselm of Canterbury that proves God’s existence using a syllogism based on ontology. Unlike metaphysical arguments that demonstrate the existence of God through the study of being and its attributes, the ontological argument aims to reach this same goal based on a concept of God by means of the idea of an entity “greater than anything that can be conceived”. Descartes’ influence highlighted some of the philosophical difficulties with the (...) inherent dualism implicit in ontology. Logic does not say whether ideas are true or false, as Logic is concerned with right or wrong inference. We take a non-dualist approach in contrast to some of the approaches reviewed. To investigate belief and faith, a modal logical formalization is used, especially modal logic S5, which we find appropriate for presenting arguments. While mathematics and logic can convince, they do not help one to believe in God. This can make us think that reason is not enough to accept God, one must have faith to have access to Him. The relation between reason and faith needs clarification, and the ontological argument requires an unsustainable dualism. (shrink)

In this paper the authors provide an epistemological view on the old controversial random-necessity. It has been considered that either one or the other form part of the structure of reality. Chance and indeterminism are nothing but a disorderly efficiency of contingency in the production of events, phenomena, processes, i.e., in its causality, in the broadest sense of the word. Such production may be observed in natural and artificial processes or in human social processes. Here we touch the object par (...) excellence of all scientific research whether natural or human. In this work, is presented a hypothesis whose practical result satisfies the Hegelian dialectic, with the consequent implication of their mutual reciprocal integration. Producing abstractions, without which, there is no thought or knowledge of any kind, from the concrete, that is, the real problem, which in this case is a given Ontological System or Reality. (shrink)

In order to establish patterns of materialization of the beliefs we are going to consider that these have defined mathematical structures. It will allow us to understand better processes of the textual, architectonic, normative, educative, etc., materialization of an ideology. The materialization is the conversion by means of certain mathematical correspondences, of an abstract set whose elements are beliefs or ideas, in an impure set whose elements are material or energetic. Text is a materialization of ideology and it is any (...) representation of the Reality represented by symbolic means. In all text T we can observe diverse topological structures: Metric Textual Space, Textual Topology and a Textual Lattice. (shrink)

If the words in Spinoza’s Ethics are considered as symbols, then certain words in the definitions of the Ethics can be replaced with symbols from set theory and we can reexamine Spinoza’s first definitions within a logical–mathematical frame. The authors believe that, some aspects of Spinoza’s work can be explained and illustrated through mathematics. A semantic relation between the definitions of the philosopher and set theory is presented. It is explained each chosen symbol. The ontological argument is developed through modal (...) logic. And finally, we present some conclusions drawn from this work. (shrink)

In this paper, the authors try to clarify the relations between Meinong’s and Russell's thoughts on the ontological ideas of existence. The Meinongian theory on non-existent objects does not in itself violate the principle of non-contradiction, since the problem that this hypothesis offers to the theory of definite descriptions is not so much a logical problem as an ontological problem. To demonstrate this we will establish what we believe are the two main theses basic to the theory of descriptions: the (...) epistemological thesis and logical thesis. (shrink)

This reply to Gash’s (Found Sci 2014) commentary on Nescolarde-Selva and Usó-Doménech (Found Sci 2014b) answers the questions raised and at the same time opens up new questions.

Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.